講義名 |
オートマトンと言語 (Automata and Formal Languages)
|
開講学期 |
4
学期 | 単位数 |
2--1--0
|
担当教官 |
(Eクラス):吉田 俊之 助教授
(Oクラス):小林 直樹 助教授
|
講義の目的 |
プログラム言語処理と自然言語処理の基礎となる形式言語について,生成する手段と
認識する機械の二つの観点から講義する.
|
知識 ユニット |
- オートマトン(有限オートマトン,プッシュダウン・オートマトン)
- 句構造文法(正規文法,文脈自由文法)
- 正規表現,BNF
- オートマトンや形式言語に関するアルゴリズム
|
関連科目・ 履修条件等 |
<--- 計算基礎論
---> コンパイラ構成,
自然言語処理論(大学院)
|
教科書 |
- コンピュータサイエンスのための言語理論入門,R. Smith 著,吉田 敬一 他訳,
共立出版,1986,1900 円
|
参考書 |
- 言語と構文解析徳田 雄洋 著,共立出版,1995
- オートマトン,言語理論,計算論I(Introduction to Automata Theory,
Languages, and Computation) J. Hopcroft, J. Ullman 著,野崎 昭弘,
高橋 正子,町田 元,山崎 秀記 訳,サイエンス社,1984
|
講義計画 |
- 言語の研究方法,句構造文法,正規表現とその言語
- 有限オートマトンとその受理言語
- 有限オートマトンと正規表現の等価性
- 決定性有限オートマトンの状態数最小化
- 正規文法と正規言語,正規文法と正規表現の等価性
- 正規言語の特徴付け,非正規言語の例と証明
- 中間試験
- 文脈自由文法と文脈自由言語
- プッシュダウン・オートマトンとその受理言語
- 文脈自由文法の標準形
- 文脈自由言語の特徴付け
- 非文脈自由言語の例と証明,閉包性
- プログラム言語の構文の非文脈自由性,決定性文脈自由言語の性質
- 文脈自由言語の認識アルゴリズム
- 言語の階層
|
---|
成績評価 |
出席状況,中間試験,期末試験により評価する.
|
---|
試験問題・ 略解の公開 |
|
担当教官 からの一言 |
特になし
|
関連サイト |
|